<?php
/* 
 * ********* CVS HEADER ********* 
 * 
 * $RCSfile: logout.php,v $ 
 * $Date: 2006/03/21 17:52:59 $ 
 * $Revision: 1.4 $ 
 * 
 * ********* CVS HEADER ********* 
 */

session_destroy();
$query="DELETE FROM session WHERE id_user='$session[id_user]'";
$result=rportalrequete($query) or die ("ERREUR 0010 : Erreur de lecture dans la table fonction");
header("Location: ?op=");
?>